Symmetry Studies of Symbolic Sequences
نویسنده
چکیده
Data-analytic interpretations for the canonical projections (or decomposition) theorem for finite groups are illustrated in the study of data indexed by dihedral permutations of three and four symbols. The purpose of this paper is to apply and develop the methodology of symmetry studies to the analysis of data indexed by those permutations, both descriptively and for statistical inference under multivariate discrete and normal models.
منابع مشابه
A New Approach to Detect Congestive Heart Failure Using Symbolic Dynamics Analysis of Electrocardiogram Signal
The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...
متن کاملA New Approach to Detect Congestive Heart Failure Using Symbolic Dynamics Analysis of Electrocardiogram Signal
The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...
متن کاملSymbolic Codes for Rotational Orbits
Symbolic codes for rotational orbits and “islands-around-islands” are constructed for the quadratic, area-preserving Hénon map. The codes are based upon continuation from an anti-integrable limit or, alternatively, from the horseshoe. Given any sequence of rotation numbers we obtain symbolic sequences for the corresponding elliptic and hyperbolic rotational orbits. These are shown to be consist...
متن کاملEfficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the constr...
متن کاملOn Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking
BDDs allow succinct symbolic representation of digital circuits. Symmetry reduction factors out redundancy inherent in the regular organization of many systems. Both are successful techniques for combating state space explosion. It would be desirable to combine them into symbolic symmetry reduction. Unfortunately, the straight-forward approach to symmetry reduction requires the orbit relation, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010